卫星能源约束检查模型改进及仿真

卫星能源约束检查模型对卫星任务规划有重要参考作用,可防止因能源不足而导致卫星故障或任务不能顺利完成。现有的能源约束检查模型存在部分问题:人为设定计算初始值,导致计算不准确;能源约束检查不通过时未给出符合能源约束的任务调整建议,导致任务不能快速调整;未对计算误差进行校正,导致误差积累。对此,提出了一种改进的能源约束检查模型,在原有模型中加入能源数据库对卫星运行的能源数据进行记录,从而准确获取初始值,并在模型中加入任务调整和遥测校正功能。该模型可实现能源约束计算自动管理及任务自动调整功能,缩短任务规划周期,提升紧急任务的执行效率。对改进的模型进行仿真,结果表明:模型预测结果与预期值相符,任务调整和能源校正功能实现良好,能实际应用到运控系统中进行规划任务能源约束检查和能源管理。     

基于Matlab语言的系统可靠性仿真

Matlab是一种高性能数值计算语言 ,本文用Matlab语言编制系统可靠性仿真程序 ,并给出了具体实例。此方法比其他方法简单有效 ,可适用于复杂系统。     

符号流生成器在教学中的应用

简要介绍了美国ＵＮＩＳＹＳ公司１１００、２２００系列中型计算机上符号流生成器的使用，并用它编制了一些常用的运行流，简化了用户的上机操作，提高了上机效率。     

一个说明语言的设计和其子集编译器的开发

基于软件文档可执行的想法，设计了一个适用于指称语义描述的可执行规范说明语言——ＪＺＣ，并对其核心子集编译器进行了设计与开发。该语言设计采用了模式匹配、类型并置和构造函数等概念，使得抽象文法易于在程度中体现。模块概念的引入使得函数型语言书写的程序更加易懂和易于编写。作为对严格开发方法的一个尝试，ＪＺＣ核心子集编译器的开发采用了该种方法，其中一个“结果正确性定理”的证明是开发过程的重点工作。本文通过一个示例语言简介ＪＺＣ的语言特点，给出了编译器开发过程的一个描述框架和证明梗概     

一个飞机结构优化设计软件

本文根据有限元分析基础,研究薄壁结构在应力、位移、最小尺寸约束下结构最轻重量的优化设计问题。用Kuhn-Tucker(库恩-塔克)必要条件将多个位移约束简化为单一位移约束(称为最临界位移约束),建立位移约束下的优化设计准则.从而避免大批拉格朗日乘子的计算,并结合满应力优化设计准则,形成了在有效约束界面逐步逼近最优设计点的方法——包络法。用某型飞机后机身一段优化设计作为本文的实际应用,得到令人满意的结果。     

惩罚函数法在发动机性能计算中的应用

按照涡喷发动机工作时遵守的气动热力学定律，建立了发动机的稳定数学模型，并针对双轴涡轮发动机性能计算的非线性数学模型，利用优化和最优控制理论中的惩罚函数法，对发动机性能进行了基于约束的最优求解程序设计，利用程序对某型发动机的稳定飞行特性进行了计算，计算结果表明，使用惩罚函数法求出的特性曲线变化规律正确，发动机平衡方程的解的精度更高，在此基础上得出的发动机飞行特性也更准确。另外惩罚函数法对初值的要求很低，迭代运算不易发散。     

直升机阵风响应缓和控制律设计

本文提出直升机抑制阵风扰动的最优控制律设计方法。优化性能指标要求在阵风扰动下驾驶员处法向过载、飞机姿态变化、以及控制信号能量损耗最小。最终所综合的系统工程实现简便,只需在直升机姿态控制系统基础上增加垂直升降速率反馈通道即可。为跟踪90年代采用高级语言开发飞控应用软件的总趋势,本文使用C语言对优化控制律进行编程。数模混合仿真表明,控制律优化及数字化实现的效果是令人满意的。     

从汉译英的赘冗和疏漏问题看汉英语法特征之差异——汉语语法的柔性之于英语语法的刚性

本文从汉译英的翻译实践出发，从英语译文的错误以及汉英译文对比中，去发现并分析汉语和英语语法特征的差异。论述了英语语法的刚性、显性和汉语语法的柔性、隐性，并从语言对思维的影响的角度，探讨了汉语语言文化的深邃独特和英语语言的缜密精确。     

基于气动辅助变轨的变气动外形飞行器概念研究--最优控制律问题

从一个天地往返飞行器的上升轨道和再入返回轨道的优化，以及适用不同飞行任务的变轨要求的气动外形问题，提出一项基于气动力辅助变轨的变气动外形飞行器的新概念研究。对于一个固定气动外形飞行器要同时满足上升轨道有效载荷最大和再入轨道热流峰值、过载峰值及机动性能约束下的成本最低往往是困难的。若同时满足不同飞行任务：飞往太空站的运输任务，空间拦截和交会机动巡航任务及星际探测任务，则更为困难，实际上是不可能的。文章研究基于气动力辅助变轨，在热流约束下，气动外形参数变化对最优控制的影响。其结论为：热流约束下的最优控制解，包括考虑推力协同变轨，除了在非约束弧的滚转角不直接受气动外形影响外，其余的控制律，升力系数和滚转角都是气动外形参数和攻角的函数。因而变气动外形可作为一项新技术，即通过气动外形参数变化和相应的变轨策略而获得性能和成本都最佳的用途很广的一种新型飞行器。